24

Variables as Resource in Separation Logic

Year:
2006
Language:
english
File:
PDF, 401 KB
english, 2006
30

Book reviews

Year:
2003
Language:
english
File:
PDF, 85 KB
english, 2003
42

Opening up optical fibres

Year:
2007
Language:
english
File:
PDF, 191 KB
english, 2007